计算理论 课程安排:
Week 1-2: 介绍与自动机理论
计算理论的概述
有限状态自动机(Finite State Machines)
正则表达式
Week 3-4: 文法与语法分析
上下文无关文法(Context-Free Grammars)
语法分析技术:LL、LR、SLR
Week 5-6: 图灵机和可计算性
图灵机的概念
可计算问题
不可计算性理论
Week 7-8: 归约和复杂性
归约的概念
多项式时间归约
P、NP问题
Week 9-10: 自动机和形式语言
上下文有关文法(Context-Sensitive Grammars)
图灵机与形式语言
非确定性有限自动机
Week 11-12: 计算理论的应用
编译器设计原理
计算理论在计算机科学中的实际应用
计算理论的研究领域
Week 13-14: 并发和分布式计算
并发计算的理论基础
分布式系统的模型
CAP理论
Week 15-16: 复习和总结
复习重要概念
解答疑问
准备期末考试
考试安排:
期中考试 (Week 8):
范围涵盖自动机理论、文法和语法分析
包括理论题和实际应用题
期末考试 (Week 16):
综合性考试,覆盖整个课程内容
包括理论题和解答题
平时成绩:
参与课堂讨论、小测验等形式